Books by author Peter H. Schmitt

Showing 1 – 4 out of 4 results

1. 

   Verification of Object-Oriented Software. The KeY Approach

   Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   102.84 €

   Sale 7 %

   You save 8.61 €

   Buy
2. 

   Nonmonotonic and Inductive Logic

   Gerhard Brewka, Klaus P. Jantke, Peter H. Schmitt | Springer, Berlin, 1993

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.62 €

   Sale 7 %

   You save 4.28 €

   Buy
3. 

   Theorie der logischen Programmierung

   Peter H. Schmitt | Springer, Berlin, 1992

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: German

   Binding: Paperback

   53.03 €

   Sale 7 %

   You save 4.39 €

   Buy
4. 

   Deductive Software Verification - The KeY Book

   Wolfgang Ahrendt, Bernhard Beckert, Richard Bubel, Reiner Hähnle, Peter H. Schmitt, Mattias Ulbrich | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   123.35 €

   Sale 7 %

   You save 10.31 €

   Buy

Books can be collected at many points all over Slovakia. Find out more